Patientenmobilität und grenzüberschreitende Gesundheitsversorgung sind alltägliche Phänomene in der Europäischen Union (EU). Im Jahr 2011 hat die EU eine Richtlinie erlassen, um in diesem Kontext Rechtssicherheit herzustellen. Bisher gibt es keine umfassenden systematischen Studien über ethische Aspekte grenzübergreifender Gesundheitsversorgung. In dieser Arbeit werden die rechtlichen Entwicklungen der grenzübergreifenden Gesundheitsversorgung dargestellt und die in der Literatur vereinzelt erwähnten ethisch relevanten Aspekte heuristisch und auf Patiententypologien aufbauend systematisch inventarisiert und diskutiert. Es zeigt sich, dass die Möglichkeit der Patientenmobilität und die damit vor (...) allem verbundenen Finanzierungsregelungen die Autonomie einiger Patienten sicherlich verbessern kann. Allerdings können wohl nicht alle Patienten Versorgungsverbesserungen erwarten. Im Gegenteil können sogar negative Konsequenzen für einige Patienten folgen, was vor allem aus gerechtigkeitstheoretischen Überlegungen kritisch zu sehen ist. (shrink)

Ist es moralisch verantwortbar, Menschen mit technischen Eingriffen zu verbessern? Der Aufsatz versucht diese Frage zu beantworten, indem zwei Gefahren für Verbesserungswillige beleuchtet werden: der Verlust der Menschlichkeit und der unerwünschte Wandel der individuellen Persönlichkeit. Sodann wird ein „Liberalismus mit Auffangnetz“ als Lösung des Problems vorgestellt, die eine unterschiedliche Bewertung von reversiblen und irreversiblen Eingriffen vornimmt. Im letzten Schritt wird überprüft, wie weit diese Konzeption auch anwendbar ist, wenn Eltern ihre Kinder verbessern lassen wollen, also ein „informed consent“ nicht vorausgesetzt (...) werden kann. Dabei werden Argumente zurückgewiesen, die Habermas gegen eine Verbesserung von Kindern vorgebracht hat. (shrink)

Am 1. Februar 2010 ist das Gendiagnostikgesetz (GenDG) in Kraft getreten. Die Debatte um einige Regelungsbereiche, wie beispielsweise das Neugeborenenscreening, reißt nicht ab. Ein Aspekt des Gesetzes ist im Rahmen der Debatte um die Präimplantationsdiagnostik (PID) in Deutschland unter neuen Vorzeichen zu diskutieren: Das – international bislang einzigartige – Verbot der pränatalen Diagnostik so genannter spätmanifestierender Erkrankungen, die erst nach der Vollendung des 18. Lebensjahres ausbrechen. In diesem Beitrag möchten wir Hinweise zur differenzierten Diskussion dieser in § 15(2) GenDG bestimmten (...) Verbotsnorm liefern. Obgleich Argumente, insbesondere das Recht auf Nichtwissen des geborenen Kindes, für ein solches Verbot sprechen, kommen wir aufgrund der medizinischen Sachlage und nach einer Analyse der Pro- und Kontraargumente aus ethischer und rechtlicher Sicht zu dem Schluss, dass ein generelles Verbot der pränatalen Diagnostik spätmanifestierender Erkrankungen im Sinne der Zielsetzung womöglich insuffizient ist sowie in der Begründung Inkonsistenzen zum bereits bestehenden Regelwerk aufweist, und lenken daher den Blick auf unter Umständen bessere Alternativen. (shrink)

Für die Argumentation von Moralphilosophen, die die Legalisierung der aktiven Sterbehilfe befürworten, spielt das Autonomieprinzip eine wichtige Rolle. Ihrer Auffassung nach verlangt der Respekt vor der Autonomie, die Entscheidung eines schwer kranken Menschen gegen die Fortsetzung des Lebens vorbehaltlos anzuerkennen. Dagegen haben verschiedene Theoretiker auf Gefahren hingewiesen, die die rechtliche Zulassung der Tötung auf Verlangen für die individuelle Autonomie mit sich bringt. Sobald der Kranke über die Möglichkeit der aktiven Sterbehilfe verfüge, falle ihm die Verantwortung für die Inanspruchnahme von Pflegeleistungen (...) zu. In der Folge könne u. a. von Seiten der Familie die Forderung an ihn gestellt werden, den vom Gesetzgeber eröffneten Ausweg zu nutzen und sie von der Last seiner Pflege zu befreien. Die Bedenken erscheinen insofern berechtigt, als Formen sozialen Zwangs vorstellbar sind, die eine freie Entscheidung des Patienten verhindern. Allerdings vermag weder das Verbot noch die Zulassung der aktiven Sterbehilfe eine autonome Entscheidung aller Individuen zu gewährleisten. Die Abwägung der Risiken, mit denen beide Optionen behaftet sind, spricht im Ergebnis für die Legalisierung der Tötung auf Verlangen. (shrink)

Die prospektive Analyse der ethischen Implikationen medizinisch-technischer Innovationen läuft immer auch Gefahr, sich in den Wunschbildern von Marketingexperten zu verfangen. Vor diesem Hintergrund könnte es durchaus nützlich sein, die Erkenntnisse der Wissenschafts- und Technikforschung zur Genese und Entwicklung neuer Techniken auszuschöpfen. Dies erscheint gerade auch für die ins Phantastische weisende Zukunft der Individualisierung medikamentöser Therapie, wie man ihr häufig in der Beschreibung pharmakogenetischer Behandlungskonzepte begegnet, angebracht. Techniken, die sich noch im Entwicklungsstadium befinden und deren breite Anwendung noch einige Jahre auf (...) sich warten lassen wird, sollten sehr sorgfältig auf ihren Realitätsgehalt und das zu erwartende Leistungspotenzial hin analysiert werden. Dazu gehört v. a. auch eine kritische Auseinandersetzung mit den Leitbildern, Visionen und Nutzenversprechen, mit denen technische Innovationen oft sehr absichtsvoll ausgestattet werden. Wird dabei die Distanz zur Rhetorik der Protagonisten der neuen Techniken nicht gewahrt, gerät die ethische Reflexion unvermittelt in die Rolle, profane Marketingstrategien wortgewandt und ideenreich zu veredeln. (shrink)

The purpose of this study is to re-assess Karl Barth's use of the Kierkegaardian “infinite qualitative distinction between God and man”. It juxtaposes Kierkegaard's qualitative dialectic and Karl Barth's own complementary dialectic respectively. Then it compares and contrasts their similarities and dissimilarities in various contexts that would lead us to a more balanced assessment of Barth's use of Kierkegaardian diastasis and a better understanding of the ultimate purpose for holding fast to the bipolar but relational God-man unity of the Incarnation. (...) In contrast to Hegelian synthesis, the article contends that the dynamics of the dialectics of Kierkegaard and Barth should be understood in the manner of a complementary synthesis of two opposites. (shrink)

Sources of error and accountability in computer systems: Comments on “accountability in a computerized society”.

Es wurde für die These argumentiert, dass der Begriff der Würde in der Medizinethik nutzlos sei und in den Fällen, in denen er verständlich verwendet wird, nichts anderes meint als den Respekt vor der Autonomie von Personen. In diesem Aufsatz soll gezeigt werden, dass diese These falsch ist. Es wird ein Begriff von Würde vorgestellt, der sich nicht auf den Begriff des Respekts vor der Autonomie von Personen reduzieren lässt. Anhand der Diskussion um ein Sterben in Würde soll auch deutlich (...) werden, dass auf den Begriff der Würde auch in der Medizinethik nicht verzichtet werden kann. (shrink)

Neben grundsätzlichen konzeptionellen Fragen der sog. Individualisierten Medizin (IM), prägen ethische Bedenken und Fragen die aktuellen Debatten um die IM. Allerdings ist bislang noch nicht geklärt, in welchem methodischen Rahmen diese Fragen verortet werden können. Für die Entwicklung eines solchen Rahmens wird das Modell der First- und Second-Wave-Bioethics diskutiert und an zwei konkreten Herausforderungen – 1) dem Verhältnis der IM zur evidenz-basierten Medizin und 2) am Konzept der genetischen Risikoperson – aufgezeigt. Eine solche Kontextualisierung der IM-Debatte legt den Grundstein für (...) eine adäquate Erfassung und Bearbeitung sozialethischer Fragen (z. B. im Hinblick auf das Problem der Eigenverantwortung). (shrink)

The standard approach to what I call “proof-theoretic semantics”, which is mainly due to Dummett and Prawitz, attempts to give a semantics of proofs by defining what counts as a valid proof. After a discussion of the general aims of proof-theoretic semantics, this paper investigates in detail various notions of proof-theoretic validity and offers certain improvements of the definitions given by Prawitz. Particular emphasis is placed on the relationship between semantic validity concepts and validity concepts used in normalization theory. It (...) is argued that these two sorts of concepts must be kept strictly apart. (shrink)

The new area of logic and computation is now undergoing rapid development. This has affected the social pattern of research in the area. A new topic may rise very quickly with a significant body of research around it. The community, however, cannot wait the traditional two years for a book to appear. This has given greater importance to thematic collections of papers, centred around a topic and addressing it from several points of view, usually as a result of a workshop, (...) summer school, or just a scientific initiative. Such a collection may not be as coherent as a book by one or two authors yet it is more focused than a collection of key papers on a certain topic. It is best thought of as a thematic collection, a study in the area of logic and computation. The new series Studies in Logic and Computation is intended to provide a home for such thematic collections. Substructural logics are nonclassical logics, which arose in response to problems in foundations of mathematics and logic, theoretical computer science, mathematical linguistics, and category theory. They include intuitionistic logic, relevant logic, BCK logic, linear logic, and Lambek's calculus of syntactic categories. Substructural logics differ from classical logics, and from each other, in their presuppositions about Gentzen's structural rules, although their presuppositions about the deductive role of logical constants are invariant. Substructural logics have been a subject of study for logicians during the last sixty years. Specialists have often worked in isolation, however, largely unaware of the contributions of others. This book brings together new papers by some of the most eminent authorities in these varioustraditions to produce a unified view of substructural logics. (shrink)

This paper deals with Popper's little-known work on deductive logic, published between 1947 and 1949. According to his theory of deductive inference, the meaning of logical signs is determined by certain rules derived from ?inferential definitions? of those signs. Although strong arguments have been presented against Popper's claims (e.g. by Curry, Kleene, Lejewski and McKinsey), his theory can be reconstructed when it is viewed primarily as an attempt to demarcate logical from non-logical constants rather than as a semantic foundation for (...) logic. A criterion of logicality is obtained which is based on conjunction, implication and universal quantification as fundamental logical operations. (shrink)

. The term inversion principle goes back to Lorenzen who coined it in the early 1950s. It was later used by Prawitz and others to describe the symmetric relationship between introduction and elimination inferences in natural deduction, sometimes also called harmony. In dealing with the invertibility of rules of an arbitrary atomic production system, Lorenzen’s inversion principle has a much wider range than Prawitz’s adaptation to natural deduction. It is closely related to definitional reflection, which is a principle for reasoning (...) on the basis of rule-based atomic definitions, proposed by Hallnäs and Schroeder-Heister. After presenting definitional reflection and the inversion principle, it is shown that the inversion principle can be formally derived from definitional reflection, when the latter is viewed as a principle to establish admissibility. Furthermore, the relationship between definitional reflection and the inversion principle is investigated on the background of a universalization principle, called the ω- principle, which allows one to pass from the set of all defined substitution instances of a sequent to the sequent itself. (shrink)

In their Basic Logic, Sambin, Battilotti and Faggian give a foundation of logical inference rules by reference to certain reflection principles. We investigate the relationship between these principles and the principle of Definitional Reflection proposed by Hallnäs and Schroeder-Heister.

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory. The field of proof-theoretic semantics has existed for almost 50 years, but the term (...) itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from presentations at the Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013, where contributing authors were asked to provide a self-contained description and analysis of a significant research question in this area. The contributions are representative of the field and should be of interest to logicians, philosophers, and mathematicians alike. (shrink)

The hypothetical notion of consequence is normally understood as the transmission of a categorical notion from premisses to conclusion. In model-theoretic semantics this categorical notion is 'truth', in standard proof-theoretic semantics it is 'canonical provability'. Three underlying dogmas, (I) the priority of the categorical over the hypothetical, (II) the transmission view of consequence, and (III) the identification of consequence and correctness of inference are criticized from an alternative view of proof-theoretic semantics. It is argued that consequence is a basic semantical (...) concept which is directly governed by elementary reasoning principles such as definitional closure and definitional reflection, and not reduced to a categorical concept. This understanding of consequence allows in particular to deal with non-wellfounded phenomena as they arise from circular definitions. (shrink)

We reconstruct Frege’s treatment of certain deducibility problems posed by Boole. It turns out that in his formalization and solution of Boole’s problems Frege anticipates the idea of propositional resolution.

From the point of view of proof-theoretic semantics, it is argued that the sequent calculus with introduction rules on the assertion and on the assumption side represents deductive reasoning more appropriately than natural deduction. In taking consequence to be conceptually prior to truth, it can cope with non-well-founded phenomena such as contradictory reasoning. The fact that, in its typed variant, the sequent calculus has an explicit and separable substitution schema in form of the cut rule, is seen as a crucial (...) advantage over natural deduction, where substitution is built into the general framework. (shrink)

The framework of natural deduction is extended by permitting rules as assumptions which may be discharged in the course of a derivation. this leads to the concept of rules of higher levels and to a general schema for introduction and elimination rules for arbitrary n-ary sentential operators. with respect to this schema, (functional) completeness "or", "if..then" and absurdity is proved.

We present our calculus of higher-level rules, extended with propositional quantification within rules. This makes it possible to present general schemas for introduction and elimination rules for arbitrary propositional operators and to define what it means that introductions and eliminations are in harmony with each other. This definition does not presuppose any logical system, but is formulated in terms of rules themselves. We therefore speak of a foundational account of proof-theoretic harmony. With every set of introduction rules a canonical elimination (...) rule, and with every set of elimination rules a canonical introduction rule is associated in such a way that the canonical rule is in harmony with the set of rules it is associated with. An example given by Hazen and Pelletier is used to demonstrate that there are significant connectives, which are characterized by their elimination rules, and whose introduction rule is the canonical introduction rule associated with these elimination rules. Due to the availabiliy of higher-level rules and propositional quantification, the means of expression of the framework developed are sufficient to ensure that the construction of canonical elimination or introduction rules is always possible and does not lead out of this framework. (shrink)

This open access book offers insights into the development of the ground-breaking Global Code of Conduct for Research in Resource-Poor Settings (GCC) and the San Code of Research Ethics. Using a new, intuitive moral framework predicated on fairness, respect, care and honesty, both codes target ethics dumping – the export of unethical research practices from a high-income setting to a lower- or middle-income setting. The book is a rich resource of information and argument for any research stakeholder who opposes double (...) standards in research. It will be indispensable for applicants to European Union framework programmes, as the GCC is now a mandatory reference document for EU funding. (shrink)

Dying before one’s time has been a prominent theme in classic literature and poetry. Catherine Linton’s youthful death in Wuthering Heights leaves behind a bereft Heathcliff and generations of mourning readers. The author herself, Emily Brontë, died young from tuberculosis. John Keats’ Ode on Melancholy captures the transitory beauty of 19th century human lives too often ravished by early death. Keats also died of tuberculosis, aged 25. “The bloom, whose petals nipped before they blew, died on the promise of the (...) fruit” is how Percy Bysshe Shelley expressed his grief over Keats’ death. Emily Dickinson wrote So Has a Daisy Vanished, being driven into depression by the early loss of loved ones from typhoid and tuberculosis. (shrink)

Riverside Park is an illustrated tribute to Frederick Law Olmsted's "other" New York City sanctuary. Since its conception in the 1870s, the park has undergone a number of transformations and suffered from periods of misuse and neglect, but in 1984, much-needed renovations turned this city oasis into what is today one of Manhattan's most beautiful attractions. "If the West Side does not stir you, you are a clod, past redemption."-Robert Moses Millions visit the Upper West Side landmark annually, and despite (...) the heavy use, thousands of volunteers keep the grounds pristine. The park is now being extended southward as part of Manhattan's plan to reclaim the island's six hundred miles of waterfront, and Riverside Drive-Olmsted's curving thoroughfare flanking the park-has long been one of Manhattan's premier addresses. "I often feel drawn to the Hudson River.... I never get tired of looking at it; it hypnotizes me."-Joseph Mitchell, from The Rivermen From the time it was carved out of an unpromising landscape, Riverside Park has continued to reinvent itself. Using photographs, illustrations, poems, and original and excerpted narrative, Edward Grimm and E. Peter Schroeder tell the intriguing story of a symbol of the modern revitalization of New York City. "Riverside Park will be a genuine riverside reservation, dedicated forever to the use of the people, beautiful in the highest sense."-The New York World, April 24, 1892 *Includes the official Riverside Park Fund Map of 2007*. (shrink)

Prawitz observed that Russell’s paradox in naive set theory yields a derivation of absurdity whose reduction sequence loops. Building on this observation, and based on numerous examples, Tennant claimed that this looping feature, or more generally, the fact that derivations of absurdity do not normalize, is characteristic of the paradoxes. Striking results by Ekman show that looping reduction sequences are already obtained in minimal propositional logic, when certain reduction steps, which are prima facie plausible, are considered in addition to the (...) standard ones. This shows that the notion of reduction is in need of clarification. Referring to the notion of identity of proofs in general proof theory, we argue that reduction steps should not merely remove redundancies, but must respect the identity of proofs. Consequentially, we propose to modify Tennant’s paradoxicality test by basing it on this refined notion of reduction. (shrink)

MICHAEL D. RESNIK, Frege and the philosophy of mathematics. Ithaca and London: Cornell University Press, 1980. 244 pp. $16.50. HANS D. SLUGA, Gottlob Frege. London, Boston and Henley: Routledge & Kegan Paul, 1980. xi + 203 pp. £ 12.95.

In Section 10 of Grundgesetze, Volume I, Frege advances a mathematical argument (known as the permutation argument), by means of which he intends to show that an arbitrary value-range may be identified with the True, and any other one with the False, without contradicting any stipulations previously introduced (we shall call this claim the identifiability thesis, following Schroeder-Heister (1987)). As far as we are aware, there is no consensus in the literature as to (i) the proper interpretation of the permutation (...) argument and the identifiability thesis, (ii) the validity of the permutation argument, and (iii) the truth of the identifiability thesis. In this paper, we undertake a detailed technical study of the two main lines of interpretation, and gather some evidence for favoring one interpretation over the other. (shrink)

Developing early results of Prawitz, Tennant proposed a criterion for an expression to count as a paradox in the framework of Gentzen’s natural deduction: paradoxical expressions give rise to non-normalizing derivations. Two distinct kinds of cases, going back to Crabbé and Tennant, show that the criterion overgenerates, that is, there are derivations which are intuitively non-paradoxical but which fail to normalize. Tennant’s proposed solution consists in reformulating natural deduction elimination rules in general form. Developing intuitions of Ekman we show that (...) the adoption of general rules has the consequence of hiding redundancies within derivations. Once reductions to get rid of the hidden redundancies are devised, it is clear that the adoption of general elimination rules offers no remedy to the overgeneration of the Prawitz–Tennant analysis. In this way, we indirectly provide further support for a solution to one of the two overgeneration cases developed in previous work. (shrink)

In the 1920s, Paul Hertz (1881-1940) developed certain calculi based on structural rules only and established normal form results for proofs. It is shown that he anticipated important techniques and results of general proof theory as well as of resolution theory, if the latter is regarded as a part of structural proof theory. Furthermore, it is shown that Gentzen, in his first paper of 1933, which heavily draws on Hertz, proves a normal form result which corresponds to the completeness of (...) prepositional SLD-resolution in logic programming. (shrink)